home *** CD-ROM | disk | FTP | other *** search
/ RComp HTML Edit Studio for RISC OS / RComp HTML Edit Studio for RISC OS.iso / ZIPS / HTML.ZIP / HTMLEdit / !HTMLEdit / User / ent / HTMLmath < prev    next >
Encoding:
Text File  |  1997-07-15  |  15.4 KB  |  314 lines
  1. <!-- Draft character entity set of mathematics character for HTML3.
  2.      This list replicates in character entity form the list found
  3.      in TeX's plain.tex file as supplied by Knuth, with additions
  4.      from lplain.tex for LaTeX, as supplied by Lamport et al. --> 
  5.  
  6. <!-- Comments to pflynn@www.ucc.ie or to html-wg@oclc.org, please -->
  7.  
  8. <!-- Typical invocation:
  9.  
  10.      <!ENTITY % HTMLmath PUBLIC
  11.      "-//IETF//ENTITIES Math and Greek for HTML//EN">
  12.      %HTMLmath;
  13. -->
  14.  
  15. <!-- Spacing entities taken from ISOpub -->
  16.  
  17. <!ENTITY thinsp         SDATA "[thinsp]" -- thin space (1/6-em) -- >
  18. <!ENTITY emsp           SDATA "[emsp  ]" -- em space -- >
  19. <!ENTITY emsp13         SDATA "[emsp3 ]" -- 1/3-em space -- >
  20. <!ENTITY emsp14         SDATA "[emsp4 ]" -- 1/4-em space -- >
  21. <!ENTITY ensp           SDATA "[ensp  ]" -- en space (1/2-em) -- >
  22. <!ENTITY numsp          SDATA "[numsp ]" -- digit space (width of a number) -- > 
  23. <!ENTITY puncsp         SDATA "[puncsp]" -- punctuation space (width of comma) -- >
  24. <!ENTITY hairsp         SDATA "[hairsp]" -- hair space -- >
  25.  
  26. <!-- Symbols from the TeXbook (plain.tex) undefined in LaTeX -->
  27.  
  28. <!ENTITY space          CDATA " " -- space -->
  29. <!ENTITY underscore     CDATA "_" -- underscore -->
  30.  
  31. <!-- The following are from the lplain.tex file for LaTeX -->
  32.  
  33. <!-- Lowercase Greek -->
  34. <!ENTITY alpha          CDATA "[alpha]" -- alpha -->
  35. <!ENTITY beta           CDATA "[beta]" -- beta -->
  36. <!ENTITY gamma          CDATA "[gamma]" -- gamma -->
  37. <!ENTITY delta          CDATA "[delta]" -- delta -->
  38. <!ENTITY epsilon        CDATA "[epsilon]" -- epsilon -->
  39. <!ENTITY zeta           CDATA "[zeta]" -- zeta -->
  40. <!ENTITY eta            CDATA "[eta]" -- eta -->
  41. <!ENTITY theta          CDATA "[theta]" -- theta -->
  42. <!ENTITY iota           CDATA "[iota]" -- iota -->
  43. <!ENTITY kappa          CDATA "[kappa]" -- kappa -->
  44. <!ENTITY lambda         CDATA "[lambda]" -- lambda -->
  45. <!ENTITY mu             CDATA "[mu]" -- mu -->
  46. <!ENTITY nu             CDATA "[nu]" -- nu -->
  47. <!ENTITY pi             CDATA "[pi]" -- pi -->
  48. <!ENTITY xi             CDATA "[xi]" -- xi -->
  49. <!ENTITY rho            CDATA "[rho]" -- rho -->
  50. <!ENTITY sigma          CDATA "[sigma]" -- sigma -->
  51. <!ENTITY tau            CDATA "[tau]" -- tau -->
  52. <!ENTITY upsilon        CDATA "[upsilon]" -- upsilon -->
  53. <!ENTITY phi            CDATA "[phi]" -- phi -->
  54. <!ENTITY chi            CDATA "[chi]" -- chi -->
  55. <!ENTITY psi            CDATA "[psi]" -- psi -->
  56. <!ENTITY omega          CDATA "[omega]" -- omega -->
  57. <!ENTITY varepsilon     CDATA "[varepsilon]" -- varepsilon -->
  58. <!ENTITY vartheta       CDATA "[vartheta]" -- vartheta -->
  59. <!ENTITY varpi          CDATA "[varpi]" -- varpi -->
  60. <!ENTITY varrho         CDATA "[varrho]" -- varrho -->
  61. <!ENTITY varsigma       CDATA "[varsigma]" -- varsigma -->
  62. <!ENTITY varphi         CDATA "[varphi]" -- varphi -->
  63. <!-- Uppercase Greek -->
  64. <!ENTITY Gamma          CDATA "[Gamma]" -- Gamma -->
  65. <!ENTITY Delta          CDATA "[Delta]" -- Delta -->
  66. <!ENTITY Theta          CDATA "[Theta]" -- Theta -->
  67. <!ENTITY Lambda         CDATA "[Lambda]" -- Lambda -->
  68. <!ENTITY Xi             CDATA "[Xi]" -- Xi -->
  69. <!ENTITY Pi             CDATA "[Pi]" -- Pi -->
  70. <!ENTITY Sigma          CDATA "[Sigma]" -- Sigma -->
  71. <!ENTITY Upsilon        CDATA "[Upsilon]" -- Upsilon -->
  72. <!ENTITY Phi            CDATA "[Phi]" -- Phi -->
  73. <!ENTITY Psi            CDATA "[Psi]" -- Psi -->
  74. <!ENTITY Omega          CDATA "[Omega]" -- Omega -->
  75. <!-- Other symbols -->
  76. <!ENTITY aleph          CDATA "[aleph]" -- aleph -->
  77. <!ENTITY hbar           CDATA "[hbar]" -- hbar -->
  78. <!ENTITY imath          CDATA "[imath]" -- imath -->
  79. <!ENTITY jmath          CDATA "[jmath]" -- jmath -->
  80. <!ENTITY ell            CDATA "[ell]" -- ell -->
  81. <!ENTITY wp             CDATA "[wp]" -- wp -->
  82. <!ENTITY Re             CDATA "[Re]" -- Re -->
  83. <!ENTITY Im             CDATA "[Im]" -- Im -->
  84. <!ENTITY partial        CDATA "[partial]" -- partial -->
  85. <!ENTITY infty          CDATA "[infty]" -- infty -->
  86. <!ENTITY prime          CDATA "[prime]" -- prime -->
  87. <!ENTITY emptyset       CDATA "[emptyset]" -- emptyset -->
  88. <!ENTITY nabla          CDATA "[nabla]" -- nabla -->
  89. <!ENTITY surd           CDATA "[surd]" -- surd -->
  90. <!ENTITY top            CDATA "[top]" -- top -->
  91. <!ENTITY bot            CDATA "[bot]" -- bot -->
  92. <!ENTITY angle          CDATA "[angle]" -- angle -->
  93. <!ENTITY triangle       CDATA "[triangle]" -- triangle -->
  94. <!ENTITY forall         CDATA "[forall]" -- forall -->
  95. <!ENTITY exists         CDATA "[exists]" -- exists -->
  96. <!ENTITY neg            CDATA "[neg]" -- neg -->
  97. <!ENTITY lnot           CDATA "[lnot]" -- lnot -->
  98. <!-- Non-math symbols -->
  99. <!ENTITY flat           CDATA "[flat]" -- flat -->
  100. <!ENTITY natural        CDATA "[natural]" -- natural -->
  101. <!ENTITY sharp          CDATA "[sharp]" -- sharp -->
  102. <!ENTITY clubsuit       CDATA "[clubsuit]" -- clubsuit -->
  103. <!ENTITY diamondsuit    CDATA "[diamondsuit]" -- diamondsuit -->
  104. <!ENTITY heartsuit      CDATA "[heartsuit]" -- heartsuit -->
  105. <!ENTITY spadesuit      CDATA "[spadesuit]" -- spadesuit -->
  106.  
  107. <!ENTITY coprod         CDATA "[coprod]" -- coprod -->
  108. <!ENTITY bigvee         CDATA "[bigvee]" -- bigvee -->
  109. <!ENTITY bigwedge       CDATA "[bigwedge]" -- bigwedge -->
  110. <!ENTITY biguplus       CDATA "[biguplus]" -- biguplus -->
  111. <!ENTITY bigcap         CDATA "[bigcap]" -- bigcap -->
  112. <!ENTITY bigcup         CDATA "[bigcup]" -- bigcup -->
  113. <!ENTITY intop          CDATA "[intop]" -- intop -->
  114. <!ENTITY int            CDATA "[int]" -- int -->
  115. <!ENTITY prod           CDATA "[prod]" -- prod -->
  116. <!ENTITY sum            CDATA "[sum]" -- sum -->
  117. <!ENTITY bigotimes      CDATA "[bigotimes]" -- bigotimes -->
  118. <!ENTITY bigoplus       CDATA "[bigoplus]" -- bigoplus -->
  119. <!ENTITY bigodot        CDATA "[bigodot]" -- bigodot -->
  120. <!ENTITY ointop         CDATA "[ointop]" -- ointop -->
  121. <!ENTITY oint           CDATA "[oint]" -- oint -->
  122. <!ENTITY bigsqcup       CDATA "[bigsqcup]" -- bigsqcup -->
  123. <!ENTITY smallint       CDATA "[smallint]" -- smallint -->
  124.  
  125. <!ENTITY triangleleft   CDATA "[triangleleft]" -- triangleleft -->
  126. <!ENTITY triangleright  CDATA "[triangleright]" -- triangleright -->
  127. <!ENTITY bigtriangleup  CDATA "[bigtriangleup]" -- bigtriangleup -->
  128. <!ENTITY bigtriangledown        CDATA "[bigtriangledown]" -- bigtriangledown -->
  129. <!ENTITY wedge          CDATA "[wedge]" -- wedge -->
  130. <!ENTITY land           CDATA "[land]" -- land -->
  131. <!ENTITY vee            CDATA "[vee]" -- vee -->
  132. <!ENTITY lor            CDATA "[lor]" -- lor -->
  133. <!ENTITY cap            CDATA "[cap]" -- cap -->
  134. <!ENTITY cup            CDATA "[cup]" -- cup -->
  135. <!ENTITY ddagger        CDATA "[ddagger]" -- ddagger -->
  136. <!ENTITY dagger         CDATA "[dagger]" -- dagger -->
  137. <!ENTITY sqcap          CDATA "[sqcap]" -- sqcap -->
  138. <!ENTITY sqcup          CDATA "[sqcup]" -- sqcup -->
  139. <!ENTITY uplus          CDATA "[uplus]" -- uplus -->
  140. <!ENTITY amalg          CDATA "[amalg]" -- amalg -->
  141. <!ENTITY diamond        CDATA "[diamond]" -- diamond -->
  142. <!ENTITY bullet         CDATA "[bullet]" -- bullet -->
  143. <!ENTITY wr             CDATA "[wr]" -- wr -->
  144. <!ENTITY div            CDATA "[div]" -- div -->
  145. <!ENTITY odot           CDATA "[odot]" -- odot -->
  146. <!ENTITY oslash         CDATA "[oslash]" -- oslash -->
  147. <!ENTITY otimes         CDATA "[otimes]" -- otimes -->
  148. <!ENTITY ominus         CDATA "[ominus]" -- ominus -->
  149. <!ENTITY oplus          CDATA "[oplus]" -- oplus -->
  150. <!ENTITY mp             CDATA "[mp]" -- mp -->
  151. <!ENTITY pm             CDATA "[pm]" -- pm -->
  152. <!ENTITY circ           CDATA "[circ]" -- circ -->
  153. <!ENTITY bigcirc        CDATA "[bigcirc]" -- bigcirc -->
  154. <!ENTITY setminus       CDATA "[setminus]" -- setminus -->
  155. <!ENTITY cdot           CDATA "[cdot]" -- cdot -->
  156. <!ENTITY ast            CDATA "[ast]" -- ast -->
  157. <!ENTITY times          CDATA "[times]" -- times -->
  158. <!ENTITY star           CDATA "[star]" -- star -->
  159.  
  160. <!ENTITY propto         CDATA "[propto]" -- propto -->
  161. <!ENTITY sqsubseteq     CDATA "[sqsubseteq]" -- sqsubseteq -->
  162. <!ENTITY sqsupseteq     CDATA "[sqsupseteq]" -- sqsupseteq -->
  163. <!ENTITY parallel       CDATA "[parallel]" -- parallel -->
  164. <!ENTITY mid            CDATA "[mid]" -- mid -->
  165. <!ENTITY dashv          CDATA "[dashv]" -- dashv -->
  166. <!ENTITY vdash          CDATA "[vdash]" -- vdash -->
  167. <!ENTITY nearrow        CDATA "[nearrow]" -- nearrow -->
  168. <!ENTITY searrow        CDATA "[searrow]" -- searrow -->
  169. <!ENTITY nwarrow        CDATA "[nwarrow]" -- nwarrow -->
  170. <!ENTITY swarrow        CDATA "[swarrow]" -- swarrow -->
  171. <!ENTITY Leftrightarrow CDATA "[Leftrightarrow]" -- Leftrightarrow -->
  172. <!ENTITY Leftarrow      CDATA "[Leftarrow]" -- Leftarrow -->
  173. <!ENTITY Rightarrow     CDATA "[Rightarrow]" -- Rightarrow -->
  174. <!ENTITY neq            CDATA "[neq]" -- neq -->
  175. <!ENTITY ne             CDATA "[ne]" -- ne -->
  176. <!ENTITY leq            CDATA "[leq]" -- leq -->
  177. <!ENTITY le             CDATA "[le]" -- le -->
  178. <!ENTITY geq            CDATA "[geq]" -- geq -->
  179. <!ENTITY ge             CDATA "[ge]" -- ge -->
  180. <!ENTITY succ           CDATA "[succ]" -- succ -->
  181. <!ENTITY prec           CDATA "[prec]" -- prec -->
  182. <!ENTITY approx         CDATA "[approx]" -- approx -->
  183. <!ENTITY succeq         CDATA "[succeq]" -- succeq -->
  184. <!ENTITY preceq         CDATA "[preceq]" -- preceq -->
  185. <!ENTITY supset         CDATA "[supset]" -- supset -->
  186. <!ENTITY subset         CDATA "[subset]" -- subset -->
  187. <!ENTITY supseteq       CDATA "[supseteq]" -- supseteq -->
  188. <!ENTITY subseteq       CDATA "[subseteq]" -- subseteq -->
  189. <!ENTITY in             CDATA "[in]" -- in -->
  190. <!ENTITY ni             CDATA "[ni]" -- ni -->
  191. <!ENTITY owns           CDATA "[owns]" -- owns -->
  192. <!ENTITY gg             CDATA "[gg]" -- gg -->
  193. <!ENTITY ll             CDATA "[ll]" -- ll -->
  194. <!ENTITY not            CDATA "[not]" -- not -->
  195. <!ENTITY leftrightarrow CDATA "[leftrightarrow]" -- leftrightarrow -->
  196. <!ENTITY leftarrow      CDATA "[leftarrow]" -- leftarrow -->
  197. <!ENTITY gets           CDATA "[gets]" -- gets -->
  198. <!ENTITY rightarrow     CDATA "[rightarrow]" -- rightarrow -->
  199. <!ENTITY to             CDATA "[to]" -- to -->
  200. <!ENTITY mapstochar     CDATA "[mapstochar]" -- mapstochar -->
  201. <!ENTITY mapsto         CDATA "[mapsto]" -- mapsto -->
  202. <!ENTITY sim            CDATA "[sim]" -- sim -->
  203. <!ENTITY simeq          CDATA "[simeq]" -- simeq -->
  204. <!ENTITY perp           CDATA "[perp]" -- perp -->
  205. <!ENTITY equiv          CDATA "[equiv]" -- equiv -->
  206. <!ENTITY asymp          CDATA "[asymp]" -- asymp -->
  207. <!ENTITY smile          CDATA "[smile]" -- smile -->
  208. <!ENTITY frown          CDATA "[frown]" -- frown -->
  209. <!ENTITY leftharpoonup  CDATA "[leftharpoonup]" -- leftharpoonup -->
  210. <!ENTITY leftharpoondown        CDATA "[leftharpoondown]" -- leftharpoondown -->
  211. <!ENTITY rightharpoonup CDATA "[rightharpoonup]" -- rightharpoonup -->
  212. <!ENTITY rightharpoondown       CDATA "[rightharpoondown]" -- rightharpoondown -->
  213.  
  214. <!ENTITY joinrel        CDATA "[joinrel]" -- joinrel -->
  215. <!ENTITY relbar         CDATA "[relbar]" -- relbar -->
  216. <!ENTITY Relbar         CDATA "[Relbar]" -- Relbar -->
  217. <!ENTITY lhook          CDATA "[lhook]" -- lhook -->
  218. <!ENTITY hookrightarrow CDATA "[hookrightarrow]" -- hookrightarrow -->
  219. <!ENTITY rhook          CDATA "[rhook]" -- rhook -->
  220. <!ENTITY hookleftarrow  CDATA "[hookleftarrow]" -- \hookleftarrow -->
  221. <!ENTITY bowtie         CDATA "[bowtie]" -- bowtie -->
  222. <!ENTITY models         CDATA "[models]" -- models -->
  223. <!ENTITY Longrightarrow CDATA "[Longrightarrow]" -- Longrightarrow -->
  224.  
  225. <!ENTITY longrightarrow CDATA "[longrightarrow]" -- longrightarrow -->
  226. <!ENTITY longleftarrow  CDATA "[longleftarrow]" -- longleftarrow -->
  227.  
  228. <!ENTITY Longleftarrow  CDATA "[Longleftarrow]" -- Longleftarrow -->
  229. <!ENTITY longmapsto     CDATA "[longmapsto]" -- longmapsto -->
  230. <!ENTITY longleftrightarrow     CDATA "[longleftrightarrow]" -- longleftrightarrow -->
  231. <!ENTITY Longleftrightarrow     CDATA "[Longleftrightarrow]" -- Longleftrightarrow -->
  232. <!ENTITY iff            CDATA "[iff]" -- iff -->
  233.  
  234. <!ENTITY ldotp          CDATA "[ldotp]" -- ldotp -->
  235. <!ENTITY cdotp          CDATA "[cdotp]" -- cdotp -->
  236. <!ENTITY colon          CDATA "[colon]" -- colon -->
  237.  
  238. <!ENTITY ldots          CDATA "[ldots]" -- ldots -->
  239. <!ENTITY pldots         CDATA "[pldots]" -- pldots -->
  240.  
  241. <!ENTITY cdots          CDATA "[cdots]" -- cdots -->
  242. <!ENTITY vdots          CDATA "[vdots]" -- vdots -->
  243. <!ENTITY ddots          CDATA "[ddots]" -- ddots -->
  244.  
  245. <!-- Entities needed to go with <RIGHT> and <LEFT> elements as delimiters -->
  246. <!ENTITY lmoustache     CDATA "[lmoustache]" -- lmoustache -->
  247. <!ENTITY rmoustache     CDATA "[rmoustache]" -- rmoustache -->
  248. <!ENTITY lgroup         CDATA "[lgroup]" -- lgroup -->
  249. <!ENTITY rgroup         CDATA "[rgroup]" -- rgroup -->
  250. <!ENTITY arrowvert      CDATA "[arrowvert]" -- arrowvert -->
  251. <!ENTITY Arrowvert      CDATA "[Arrowvert]" -- Arrowvert -->
  252. <!ENTITY bracevert      CDATA "[bracevert]" -- bracevert -->
  253. <!ENTITY Vert           CDATA "[Vert]" -- Vert -->
  254. <!ENTITY vert           CDATA "[vert]" -- vert -->
  255. <!ENTITY uparrow        CDATA "[uparrow]" -- uparrow -->
  256. <!ENTITY downarrow      CDATA "[downarrow]" -- downarrow -->
  257. <!ENTITY updownarrow    CDATA "[updownarrow]" -- updownarrow -->
  258. <!ENTITY Uparrow        CDATA "[Uparrow]" -- Uparrow -->
  259. <!ENTITY Downarrow      CDATA "[Downarrow]" -- Downarrow -->
  260. <!ENTITY Updownarrow    CDATA "[Updownarrow]" -- Updownarrow -->
  261. <!ENTITY backslash      CDATA "[backslash]" -- backslash -->
  262. <!ENTITY rangle         CDATA "[rangle]" -- rangle -->
  263. <!ENTITY langle         CDATA "[langle]" -- langle -->
  264. <!ENTITY rbrace         CDATA "[rbrace]" -- rbrace -->
  265. <!ENTITY lbrace         CDATA "[lbrace]" -- lbrace -->
  266. <!ENTITY rceil          CDATA "[rceil]" -- rceil -->
  267. <!ENTITY lceil          CDATA "[lceil]" -- lceil -->
  268. <!ENTITY rfloor         CDATA "[rfloor]" -- rfloor -->
  269. <!ENTITY lfloor         CDATA "[lfloor]" -- lfloor -->
  270.  
  271. <!-- Misc symbols -->
  272. <!ENTITY cong           CDATA "[cong]" -- cong -->
  273. <!ENTITY notin          CDATA "[notin]" -- notin -->
  274. <!ENTITY rightleftharpoons      CDATA "[rightleftharpoons]" -- rightleftharpoons -->
  275. <!ENTITY doteq          CDATA "[doteq]" -- doteq -->
  276.  
  277. <!-- Functions -->
  278. <!ENTITY log            CDATA "[log]" -- log -->
  279. <!ENTITY lg             CDATA "[lg]" -- lg -->
  280. <!ENTITY ln             CDATA "[ln]" -- ln -->
  281. <!ENTITY lim            CDATA "[lim]" -- lim -->
  282. <!ENTITY limsup         CDATA "[limsup]" -- limsup -->
  283. <!ENTITY liminf         CDATA "[liminf]" -- liminf -->
  284. <!ENTITY sin            CDATA "[sin]" -- sin -->
  285. <!ENTITY arcsin         CDATA "[arcsin]" -- arcsin -->
  286. <!ENTITY sinh           CDATA "[sinh]" -- sinh -->
  287. <!ENTITY cos            CDATA "[cos]" -- cos -->
  288. <!ENTITY arccos         CDATA "[arccos]" -- arccos -->
  289. <!ENTITY cosh           CDATA "[cosh]" -- cosh -->
  290. <!ENTITY tan            CDATA "[tan]" -- tan -->
  291. <!ENTITY arctan         CDATA "[arctan]" -- arctan -->
  292. <!ENTITY tanh           CDATA "[tanh]" -- tanh -->
  293. <!ENTITY cot            CDATA "[cot]" -- cot -->
  294. <!ENTITY coth           CDATA "[coth]" -- coth -->
  295. <!ENTITY sec            CDATA "[sec]" -- sec -->
  296. <!ENTITY csc            CDATA "[csc]" -- csc -->
  297. <!ENTITY max            CDATA "[max]" -- max -->
  298. <!ENTITY min            CDATA "[min]" -- min -->
  299. <!ENTITY sup            CDATA "[sup]" -- sup -->
  300. <!ENTITY inf            CDATA "[inf]" -- inf -->
  301. <!ENTITY arg            CDATA "[arg]" -- arg -->
  302. <!ENTITY ker            CDATA "[ker]" -- ker -->
  303. <!ENTITY dim            CDATA "[dim]" -- dim -->
  304. <!ENTITY hom            CDATA "[hom]" -- hom -->
  305. <!ENTITY det            CDATA "[det]" -- det -->
  306. <!ENTITY exp            CDATA "[exp]" -- exp -->
  307. <!ENTITY Pr             CDATA "[Pr]" -- Pr -->
  308. <!ENTITY gcd            CDATA "[gcd]" -- gcd -->
  309. <!ENTITY deg            CDATA "[deg]" -- deg -->
  310.  
  311. <!ENTITY bmod           CDATA "[bmod]" -- bmod -->
  312. <!ENTITY pmod           CDATA "[pmod]" -- pmod -->
  313.  
  314.